proof technique
英 [pruːf tekˈniːk]
美 [pruːf tekˈniːk]
网络 验证方法
双语例句
- This proof will use a common technique for proofs in recursive programs called an inductive proof.
这个证明将使用一种在递归程序中常见的证明技术，名为归纳证明（inductiveproof）。 - Use cases to proof that the cost accumulative curve technique and network optimize technique can be applied to manufacture phase of air-preheater to control the cost.
以案例证明了在预热器制造环节中是可以应用成本累计曲线法和项目网络优化技术来控制产品制造成本的。 - Dongguan MTAPAC Damp-proof Packing Co., ltd is a water vapour proof packing technique company which sets development, design, production and sales as one.
东莞迈科（MTAPAC）防潮包装有限公司（简称：迈科包装）是一家集研发、设计、生产和销售为一体的防潮包装技术企业。 - From Original Position to Justice Principles& on Rawls proof of contractual idea; A mode truncation criteria in POD technique and its application for analysis of wind-induced response of roofs
从原初状态到正义原则&评析罗尔斯的契约论证明本征正交分解用于屋盖风振分析的模态截断准则 - The Application of Seepage Proof Technique in Deep Foundation Pit Water Seal Project
隔渗技术在深基坑止水工程中的应用 - Proof of the uncertain solution of self-calibration method in six-port technique
六端口技术自校准方法解的不唯一性证明 - Through the Shandong earth-rock dams actual reinforcement project correlation question proof research, summarizes the sickness danger reservoir big dam research technique, the proof pattern.
通过青峰岭土石实际加固工程中有关问题的论证研究，总结出病险水库大坝的除险加固方法、论证模式； - The article introduces some access of proof getting and negotiation technique in claiming damage of engineering.
通过对工程索赔中的取证方法和谈判技巧等所作的分析，进一步证明了这一点。 - Giving a probabilistic proof for Stirling formula by the technique of large deviation.
利用大偏差原理给出了Stirling公式的一个概率证明。 - Based on the basic matrix theory, another proof of the robust state-feedback output regulator is given on the regulation problem of the linear system. This technique simplifies the treatment of the existing linear robust regulator theory.
基于一些基本的矩阵理论，对控制理论和工程上的一个基本问题：输出调节问题，给出了存在状态反馈鲁棒输出调节器的另一种证明，简化了对这一问题的处理。 - This paper introduces the structure, performance, characteristic, using scope of new type water proof materials SDK and building technique and operating demands.
介绍了新型防水材料SDK的构成、性能、特点、适用范围以及施工工艺和操作要求。 - The coating erosion-proof technique consists of two parts of rust removal process and coating technique.
涂层防蚀技术包括除锈工艺和涂层技术两部分。 - CONCLUSION: The expressions of Bcl-2 protein and cox-2 protein in gastric mucosa increase. Immunofluorescence and laser scanning confocal microscopy have high resolving power and high sensitiveness, that is a good flat proof of technique for analyzing ultrastructure of cell and tissue.
结论：胃黏膜出现萎缩后Bcl-2及cox-2表达增加，免疫荧光与激光扫描共聚焦显微检测技术具有分辨率高、灵敏度高等特点，为细胞和组织内部超微结构的分析提供了良好的技术平台。 - In the proof a new analytic technique in the study of the strong limit theorems for Markov chains is applied.
证明中应用了研究马尔可夫链强极限定理的一种新的分析方法。 - Density of cavity, its burying depth and water proof method to cavity bottom are the three key factors of technique of cavity making by explosion in farm land.
腔体密度、埋深和孔底防渗处理措施是农田爆破成腔技术的3个要素。 - A Proof of Borel's Normal Number Theorem and an Analytic Technique for the Strong Limit Theorem
Borel正规数定理的一种证明与强极限定理中的分析方法 - Application conditions and development of corrosion proof materials and surface protection technique for hydraulic turbine
水轮机抗汽蚀材料及表面防护技术的应用现状及趋势 - Studies on channel proof-seepage technique Proof of Inequality by Using Auxiliary Function in Calculus
渠道防渗技术及应用微积分中引入辅助函数证明不等式方法探讨 - The prevention for heaving of seepage proof canal Technique about Anti-collapse Drilling Fluid
防渗渠道的防冻胀措施防塌钻井液技术 - It proof that adopting new technique's capture and track control system is successful.
进一步证明了采用新技术的快速捕获跟踪控制系统是成功的。 - The theory proof is provided for abrasive stone superfinishing technique through computer simulation, and cutting factors and conditions of better surface machining quality are obtained, and the application prospect of the abrasive stone superfinishing technique is expanded.
通过计算机仿真为油石超精加工技术提供了理论依据，获得了达到较好表面加工质量的切削因素和条件，拓展了油石超精加工技术的应用前景。 - Discussion on cold-proof technique on electric locomotive
电力机车防寒设计探讨 - Reinforcement and Seepage-proof Technique of Gate Foot
闸基的防渗与补强技术 - The application of compacted soil foundation freeze proof technique in culvert sluice
压实土地基防冻害技术在涵闸工程中的应用 - The gas well abandonment production and abandonment flowing wellhead pressure can be determined by economical evaluation and ground engineering proof, then the abandonment flowing bottomhole pressure can be calculated according to the technique of vertical pipe flow, and the more accurate AFP can be obtained finally.
以经济评价结合地面工程论证，确定气井废弃产量和废弃井口流压，进而根据垂直管流法计算气井废弃井底流压，最终求得较可靠的废弃地层压力。 - From the proof, we conclude that LSR is a branch of the local regularization technique.
由证明可得，LSR可视为局部正则化噪声抑制技术的一个分支。 - The input file parsed by the parser and then form the initial attack game that formalized by process calculus language to carry through the transition proof. ( 4) Introduce the notion of observational equivalence, the conformation and probability calculating technique of the observational equations.
输入文件经解析器解析后，形成计算机可识别的初始攻击游戏，可以进行进一步的转换证明。（4）引入观察等价理论和观察等价式的概念，给出观察等价式的构造方式和概率计算方法。 - At last, we proof and analysis the effectiveness and efficiency of the software tamper proofing technique.
最后，对该软件防篡改方法的安全性、有效性和运行效率进行了详细的证明分析。